Given a subset S of a given topological space T, any point p whose every neighborhood contains some point, distinct from p, which belongs to S.